Colimits for the pro Category of Towers of Simplicial Sets
نویسنده
چکیده
We describe a certain category of Ind-towers into which the Pro category of towers of simplicial sets embeds, and in which all colimits (rather than just the finite ones) may be constructed explicitly.
منابع مشابه
Etale Realization on the A-homotopy Theory of Schemes
We compare Friedlander’s definition of étale homotopy for simplicial schemes to another definition involving homotopy colimits of pro-simplicial sets. This can be expressed as a notion of hypercover descent for étale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the étale site of schemes over S to the category of pro-spaces....
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملA-homotopy theory of schemes
2 Homotopy category of a site with interval 2 2.1 Homotopy theory of simplicial sheaves . . . . . . . . . . . . . . 4 2.1.1 Simplicial sheaves . . . . . . . . . . . . . . . . . . . . . 4 2.1.2 The simplicial model category structure . . . . . . . . 5 2.1.3 Local fibrations and resolution lemmas . . . . . . . . . 8 2.1.4 Homotopy limits and colimits. . . . . . . . . . . . . . . 12 2.1.5 Eilenber...
متن کاملHomotopy (limits And) Colimits
These notes were written to accompany two talks given in the Algebraic Topology and Category Theory Proseminar at the University of Chicago in Winter 2009. When a category has some notion of limits and colimits associated to it, its ordinary limits and colimits are not necessarily homotopically meaningful. We describe a notion of a “homotopy colimit” for two sorts of categories with a homotopy ...
متن کاملA Giraud - type characterization of the simpli - cial categories associated to closed model cat - egories as ∞ - pretopoi
In SGA 4 [1], one of the principal building blocks of the theory of topoi is Giraud’s theorem, which says that the condition of a 1-category A being the category of sheaves on a site, may be characterized by intrinsic, internal conditions in A. The intrinsic conditions are basically existence of certain limits and colimits, plus a condition about generation by a small set of objects. In this pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995